Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model Checking Linear Programs with Arrays
2006-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Modelling Dynamic Software Architectures using Typed Graph Grammars
2008-01-01 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán
On the Relations between Disjunctive and Linear Logic Programming
2001-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis
2005-01-01 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Preface
2007-01-01 Roderick, Bloem; Roveri, Marco; Fabio, Somenzi
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic | 1-gen-2016 | Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Model Checking Linear Programs with Arrays | 1-gen-2006 | Armando, Alessandro; Benerecetti, M.; Mantovani, J. | |
Modelling Dynamic Software Architectures using Typed Graph Grammars | 1-gen-2008 | Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán | |
On the Relations between Disjunctive and Linear Logic Programming | 1-gen-2001 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis | 1-gen-2005 | Armando, Alessandro; Viganò, L. | |
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning | 1-gen-2006 | Armando, Alessandro; Cimatti, Alessandro | |
Preface | 1-gen-2007 | Roderick, Bloem; Roveri, Marco; Fabio, Somenzi | |
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" | 1-gen-1999 | Armando, Alessandro; Jabelean, T. | |
The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; Coglio, A.; Giunchiglia, F. | |
TSAT++: an Open Platform for Satisfiability Modulo Theories | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile